Новая философская энциклопедия - тезис

В дедуктивных теориях, когда логические средства доказательства строго фиксированы, тезисы обычно противопоставляются постулатам и аксиомам этих теорий. При этом они представляют собой некоторую проблему для логики, решение которой состоит в поиске вывода или доказательства тезисов (на основе понятий и средств данной теории), что позволило бы перевести их из класса (обсуждаемых) гипотез в класс теорем данной теории. В этом смысле термин «тезис» нередко используется как синоним термина «теорема»; 2) в узком смысле в тех же дедуктивных теориях тезисами называют утверждения, которые, оставаясь вне рамок самой дедуктивной теории, не являясь выводимыми или доказуемыми в этих теориях (теоремами этих теорий) и не будучи строго формальными, тем не менее полезны для понимания истинной роли вполне строгих (формализуемых) понятий этих теорий. По отношению к понятию «алгоритм» таков, по-видимому, «тезис Чёрча» о совпадении класса алгоритмически вычислимых частичных числовых функций с классом всех частично рекурсивных функций или принцип нормализации Маркова («тезис Маркова»), фактически представляющий собой «вариант тезиса Чёрча, относящийся к нормальным алгорифмам» (Марков А. А., Нагорный Н. М. Теория алгорифмов. М., 1984,§ 27).

M. M Новосёлов